Unit 5 SIMULATION THEORY Lesson 38 Learning objectives: • •

Source URL: businessmanagementcourses.org

• Digital electronics
• Electronic design automation
• Simulation
• Computational science
• Operations research
• Computer simulation
• Scientific modelling
• Monte Carlo method
• Logic simulation
• Science
• Electronic engineering
• Scientific modeling

On an optimal randomized acceptor for graph nonisomorphism∗ Edward A. Hirsch†,‡ Dmitry Itsykson† November 9, 2011

Source URL: logic.pdmi.ras.ru

• Analysis of algorithms
• Mathematical optimization
• Complexity classes
• Graph coloring
• NP-complete
• Randomized algorithm
• P versus NP problem
• NP
• Time complexity
• Theoretical computer science
• Computational complexity theory
• Applied mathematics

A RELATUONSHIP BETWEEN NEURAL NETWORKS AND PROGRAMMABLE LOGIC ARRAYS ∗ Victor Eliashberg Abstract

Source URL: brain0.com

• Science
• Neuroscience
• Artificial neural network
• Connectionism
• Perceptron
• Neuron
• ADALINE
• Nervous system network models
• Competitive learning
• Neural networks
• Computational neuroscience
• Cybernetics

Feebly secure cryptographic primitives∗ Edward A. Hirsch Olga Melanich Sergey I. Nikolenko

Source URL: logic.pdmi.ras.ru

• Computational complexity theory
• Linear algebra
• Matrix theory
• Matrix
• Circuit complexity
• Boolean circuit
• Circuit
• Invertible matrix
• Arithmetic circuit complexity
• Algebra
• Theoretical computer science
• Mathematics

Journal on Satisfiability, Boolean Modeling and Computation[removed]Complexity of Semialgebraic Proofs with Restricted Degree of Falsity∗† Edward A. Hirsch Arist Kojevnikov

Source URL: jsat.ewi.tudelft.nl

• Mathematical logic
• Logic in computer science
• Computational complexity theory
• Proof complexity
• Function
• Mathematical proof
• Resolution
• Inequality
• Mathematics
• Theoretical computer science
• Automated theorem proving

SAC 2000 Paper Count Track AI and Computational Logic (AI) Bioinformatics (BI) Computational Science (CS) Computer Uses in Education (CE)

Source URL: www.acm.org

Numeric Computing for Industry ILNumerics 2

Source URL: ilnumerics.net

• Array programming languages
• Cross-platform software
• Algorithm
• Mathematical logic
• Theoretical computer science
• Mathematica
• Computer programming
• Microsoft Visual Studio
• Computational science
• Software
• Mathematical software
• Application software

Computational Logic WWW Programming Using LP/CLP Systems 1 LP/CLP, the Internet, and the WWW

Source URL: www.clip.dia.fi.upm.es

• Scripting languages
• Computer programming
• Programming paradigms
• Constraint programming
• Common Gateway Interface
• Prolog
• CLP
• Form
• Batch file
• Computing
• Software engineering
• World Wide Web

Quantiers in TIME and SPACE Computational Complexity of Generalized Quantiers in Natural Language Jakub Szymanik

Source URL: www.jakubszymanik.com

• Science
• Mathematical logic
• Institute for Logic
• Language and Computation
• Computational complexity theory
• Complexity
• Algorithm
• Descriptive complexity theory
• EXPTIME
• P
• Applied mathematics
• Complexity classes
• Mathematics

Computational and algorithmic models of strategies in turn-based games Gerben Bergwerff Institute of Artificial Intelligence, University of Groningen Ben Meijering ([removed]) Institute of Artificial Intelligence

Source URL: jakubszymanik.com

• Reasoning
• Inductive reasoning
• Operations research
• Mathematical optimization
• Thought
• Backtracking
• Logic programming
• Algorithm
• Marble
• Science
• Knowledge
• Games